//@ run-pass
//@ aux-build:issue-3136-a.rs

//@ pretty-expanded FIXME #23616

extern crate issue_3136_a;

pub fn main() {}
